home *** CD-ROM | disk | FTP | other *** search
/ PC User 2003 May / Disc 2 / PCU0503CD2.iso / Crystal / 3rdparty / JavaVM / Plug-in / jplugin.exe / jaws.jar / sun / plugin / JavaRunTime.class (.txt) < prev    next >
Encoding:
Java Class File  |  1998-06-22  |  2.0 KB  |  65 lines
  1. package sun.plugin;
  2.  
  3. import java.awt.Frame;
  4. import java.io.PrintStream;
  5. import java.util.Enumeration;
  6. import java.util.Hashtable;
  7. import java.util.Properties;
  8. import java.util.Vector;
  9.  
  10. public class JavaRunTime {
  11.    private static ConsoleWindow console;
  12.    private static Vector listeners = new Vector();
  13.  
  14.    protected static void initEnvironment(String var0, String var1, String var2) {
  15.       Properties var3 = System.getProperties();
  16.       ((Hashtable)var3).put("java.home", var0);
  17.       if (var2 == null) {
  18.          ((Hashtable)var3).put("user.home", var0);
  19.       } else {
  20.          ((Hashtable)var3).put("user.home", var2);
  21.       }
  22.  
  23.       ((Hashtable)var3).put("bridge.home", var1);
  24.       AppletViewer.loadPropertiesFiles();
  25.    }
  26.  
  27.    private static void exit() {
  28.       JavaExitEvent var0 = new JavaExitEvent();
  29.       Enumeration var1 = listeners.elements();
  30.  
  31.       while(var1.hasMoreElements()) {
  32.          JavaExitListener var2 = (JavaExitListener)var1.nextElement();
  33.          var2.JavaExit(var0);
  34.       }
  35.  
  36.    }
  37.  
  38.    public static synchronized void addJavaExitListener(JavaExitListener var0) {
  39.       listeners.addElement(var0);
  40.    }
  41.  
  42.    public static synchronized void removeJavaExitListener(JavaExitListener var0) {
  43.       listeners.removeElement(var0);
  44.    }
  45.  
  46.    public static Frame openJavaConsole() {
  47.       if (console != null) {
  48.          return console;
  49.       } else {
  50.          console = new ConsoleWindow();
  51.          DebugOutputStream var0 = new DebugOutputStream(console);
  52.          PrintStream var1 = new PrintStream(var0);
  53.          System.setErr(var1);
  54.          DebugOutputStream var2 = new DebugOutputStream(console);
  55.          PrintStream var3 = new PrintStream(var2);
  56.          System.setOut(var3);
  57.          return console;
  58.       }
  59.    }
  60.  
  61.    public static Frame getJavaConsole() {
  62.       return console;
  63.    }
  64. }
  65.